Trivial Cmake change