Fix a bug in cmakelists