renaming of files did not work properly under windows. Do it again with Linux