Fix #84 — Use the redis backend by default