use recent bootstrap.py