case-sensitive misspelled filename, which confuses cygwin make (but not official make)