Use minified JS (bug 1001498)