Going back to the old version of bootstrap.py, since travis does not work with it.