Use explicit bootstrap.py version.