fix function pointer mangling