Fix compilation error with CMake