Use minified diff.js