Directly specify encoding for config.json.