adapt to newer version of bootstrap.py