tools/build/configure.py