Fix redis install on travis build
Merge branch '3.8'