made shell.py executable on linux