fix encode setting in sbt.bat