Minor update to set the file encoding to UTF8 in the Windows batch file