solve ascii bugs in json.dumps