Fix wrongly cased header file name

 Case sensitivity matters when trying to compile on a case-sensitive file
 system, i.e. when cross-compiling to windows on Linux.