Redis update to 2.8.13