Change shebang on prog.py to use python