Fix C function name generation