Fix non-ascii uglify.js output.