Fix capitalization of file

MSP-11385

Accidentally capitalized file name, which works on OSX, but not on
case-sensitive systems like Linux.