A fix in cmake