github is case-insensitive for filenames...