py3: don't use execfile