Replaced execfile() with exec(open().read()) in gevent/monkey.py.