[#71400514] Correct CMakeList.