eliminate needless name-mangling