fix C name redefinition: names must be uniquified at the module scope, local scope is not enough as it may not have a unique name itself