Chunk server: fix include file name capitalization, and linux compiler warning.