redis: update to 2.8.18.