Fix execfile() behavior

It doesn't create a new module at all -- it directly uses the existing one.

Fixing that let us clean up some of the module handling code.