bug in cmakelists