Fix a Cmake syntax