Don't use execfile

It's not Python 3 compatible.