Use fixed 1.x branch of bootstrap.py