use php5-redis from php5_ppa::from_ondrej