Fix config/CMakeLists.txt