fix typo in magled character, fix problem with demangling C++ symbols