update bootstrap.py

didn't work anymore