Fetch more-recent bootstrap.py