inclusion of json_pretty for dumping with better UTF8 handling