Make the file search case insensitive on Windows, in case the projects
directory has a different capitalization than what we store in the user
settings.

Reviewed-by: Robert Loehning