fix old/broken bootstrap.py and replace with recent