Fixes to ignore case in filenames.

It's pretty much done, but there are a few more adjustments that need to be made.