Added php5-json to PHP55