makeFileNameUnique_withExtension