make filenames unique even in case-insensitive file system