Fix accidental CMakeLists changes introduced in 85a99e23