do not use the  parameters of json_encode (PHP 5.3 only)