bug fixing in configure.py script