Ubuntu 13.10 needs php5-json