use latin-1 encoding to avoid utf-8 exceptions in json-dump