Set shebang line to use /usr/bin/env on godel.py