py3: rewrite execfile fix