Fix #17: Require redis package