update redis to 2.8.12