UTF-8 instead of UTF-16 for generated JSON files