Provide a make.bat as a substitute Makefile for Windows.