py3k doesn't have execfile