Making shell.py executable