update redis 2.8.18 to 2.8.19