py3: rewrite execfile