Redis, on top of Ubuntu 12.10