Some tools for handling mcci's civ_XXX files.