Remove json_encode options (don't work with older PHP version).