update to latest bootstrap.py