Bash script to produce minified version