Fix CMake broken by previous commit