Add a minified version of dist/syn.js