set(casemodule_FOUND TRUE)