Fixed a bug in configure.py that prevented the minification code from working on Linux