Use compressed JS.