Fix capitalization of include file. Linux is case-sensitive!