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.