Fixed up CMakeLists.txt