py3: remove execfile