Mangle variable names for prod