Update bootstrap.py.