Minor fixes to CMakeLists.