update redis 2.8.12 to 2.8.13