change the format of result json file, arbitual characters are shown correctly