fix use of execfile