py3: drop execfile