Remove name mangling from output

[camillescott]

This PR addresses the issue I filed a couple days ago. I'm not sure if this would be supported, and there might be tests that should be updated (I couldn't get them to run), but it would certainly make me much more likely to use the software.