Hack to demangle C++ function names in backtraces.
Misc minor changes