Updated bootstrap.py.