Small cmake fix