Corrected a capitalization error in a file path.  It worked fine
on OS/X with case insensitive file names, but broke on Linux.