redis.io uses tar.gz suffix