bootstrap.py executable