A more specific name for the cice executable.