Update bootstrap.py to the a recent version.