Fix broken execfile fix