2/2 case changes.

And then we readd them. Now the filenames are lowercase (what is windows
case sensitivity) and correctly load in Android.