banner should be kept by uglify-js