use latest redis-server from chris-lea PPA