Chunk server: fix include file names capitalization.