a few tweaks for production (minified JS, and phonegap.js)