Change #! to run Python, set executable bit