Chunk server: fix include file name capitalization.