The file picker is precisely where case-insensitivity should be done; the rest of the application should already have the correct file name.