re-minify standard.js.