Update Redis to 2.8.12