rename files to avoid problems with svn