Fix requirement in cmake option