bin/fix-symbols:
  - use AWK instead of SED - this allows better handling of the different places
    where versions can hide
  - handle C++ symbols: use c++filt to decode the munged symbols and AWK to
    clean them up