setting executable bit on main.py is good