update nodetool.bat for #6381