Travis can download bootstrap.py instead