update bootstrap.py (no need to rerun anything)