Jenkins needs a newer version of our bootstrap.py.