Fix compilation with cmake after last commit