fix C++ mangled names