try a newer bootstrap.py