Update obs/CMakeLists.txt (forgot again)