rename  $._files $.files 
rename  $.files._dvialw $.files.!dvialw 
rename  $.files.!dvialw._Wimpman $.files.!dvialw.!Wimpman 
rename  $.files.!dvialw._Sprites $.files.!dvialw.!Sprites 
rename  $.files.!dvialw._Run $.files.!dvialw.!Run 
rename  $.files.!dvialw._owimpman $.files.!dvialw.!owimpman 
rename  $.files.!dvialw._Boot $.files.!dvialw.!Boot 
*quit
