Fix make.bat to match makefile changes
1 file changed