rename  $._files $.files 
rename  $.files._TeX $.files.!TeX 
rename  $.files.!TeX._WimpMan $.files.!TeX.!WimpMan 
rename  $.files.!TeX._Sprites $.files.!TeX.!Sprites 
rename  $.files.!TeX._Run $.files.!TeX.!Run 
rename  $.files.!TeX._Help $.files.!TeX.!Help 
rename  $.files.!TeX._Boot $.files.!TeX.!Boot 
*quit
