Newer bootstrap.py