rename  $._files $.files 
rename  $.files._BiBTeX $.files.!BiBTeX 
rename  $.files.!BiBTeX._Wimpman $.files.!BiBTeX.!Wimpman 
rename  $.files.!BiBTeX._Sprites $.files.!BiBTeX.!Sprites 
rename  $.files.!BiBTeX._Run $.files.!BiBTeX.!Run 
rename  $.files.!BiBTeX._Help $.files.!BiBTeX.!Help 
rename  $.files.!BiBTeX._Boot $.files.!BiBTeX.!Boot 
*quit
