Couple nits: fix operating system name and add add parameter to match output produced by main 'build.bat'.