Fixed a bug in configure.py