Fix cice executable name.