Rename configure.py to configure
Adapt to the renamed configure script