Switch from `giec` to `ipcc` for export