Emacs temp files
Changing names for Orbiter logs