When opening a file with file.open(filename,"r") under Windows, I find that the file name is case sensitive - any error in the case leads to the file not being found. Is it possible to locate filenames in a case-insensitive manner under Windows?