fix function name mangling