clean up demangling