Error message if json_encode() is not available

On Ubuntu, you need the php5-json package