Use UTF-8 encoding for JSON output and map.js