fix UglifyJS mangle options