fix execfile usage