Updated CMakeLists.txt for CleaverExtension