Use minified javascripts