Add the CMakeLists.txt that was missed in r194825