user-submitted patch for case-sensitive systems

change include statement to be case-sensitive