Re-minify runtime/min.js after recent changes to runtime/dev.js.