Forgot (again) about CMakeLists for last session commit