added missing cmake option