Fix bootstrap.py