rename  $._files $.files 
rename  $.files._dvieps $.files.!dvieps 
rename  $.files.!dvieps._Wimpman $.files.!dvieps.!Wimpman 
rename  $.files.!dvieps._Sprites $.files.!dvieps.!Sprites 
rename  $.files.!dvieps._Run $.files.!dvieps.!Run 
rename  $.files.!dvieps._Boot $.files.!dvieps.!Boot 
*quit
