Comment out ondrej repo (wheezy64 has php 5.4 already), added pdo_mysql and Redis