TRIVIAL updating bootstrap.py