WITH_CARIS no longer used