make file names unique even in case-insensitive file system