Update bootstrap.py to the newest version.