Added "php5-json" package as this apparently is no longer included by
default