Add back lines which were accidentally deleted in CMakeLists.txt.