Use minified JS files to save a few hundred kB