Fix JS minifier and use minified ExtJS by default.