rename  $._files $.files 
rename  $.files._LaTeX $.files.!LaTeX 
rename  $.files.!LaTeX._WimpMan $.files.!LaTeX.!WimpMan 
rename  $.files.!LaTeX._Sprites $.files.!LaTeX.!Sprites 
rename  $.files.!LaTeX._Run $.files.!LaTeX.!Run 
rename  $.files.!LaTeX._Boot $.files.!LaTeX.!Boot 
*quit
