Fix redis install CI.