py3: fix execfile