don't mangle variable names when compressing js