correct internal symbols mangling