Edit: execfile.py