Chunk server: fix include file name.