Windows: update dobuild.cmd to run the configure/make