Update prod.txt

Bump redis.