use newer version of bootstrap.py