Couple of possibilities. We use cURL to download the zip file, which you might not have, so I’ve put curl.exe in the repo. GetBinaries.bat knows where to find it.
It’s taken a while for all the versioned zips to be uploaded so the one you wanted might not have been there yet. They are uploaded now.
You should get verbose output from GetBinaries.bat though. You can also remove the -s from the call to curl.exe to get error output. For some reason, -s suppresses all output, even errors.