Update configure.py (reverted from commit 441b8420574b617146f3abae93ac04e23f8b7b8e)