Add forgotten changes in CMakeLists.txt.