Fix some typos in jenkins-build.bat