Fix #58 (Minimize generated JavaScript files)