linux filenames are case sensitive