Implement execfile.