update redis 2.8.11 to 2.8.12