Well files are generally not stored under their original name, except
for FILELIST files. So there is nothing wrong with that.
 
  Eric