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