We renamed configure.py to just configure.