Add a newer bootstrap.py