update_rev.bat: check if the binaries exist first.