and modify the CMakeLists accordingly