small fix to make.bat for platform stuff