Making bootstrap.py executable.