Fix lib/CMakeLists.txt