Fix build error under linux

Filename under linux is case-sensitive