tool help: default encoding is platform encoding