Filename case correction, not that it matters on Windows...