minor fix in cmake.list