Must reset global __file__ for execfile to work as expected.