On debians, php5-json is separate for licensing reasons