Use latest bootstrap.py.