Updates bootstrap.py.