JSON encoding again: Haxe Strings are platform-dependent and may or may not be stored as UTF-8