Restored a useful CMakeLists.txt