All files from windowslib64.zip are already included in
probcli_win64.zip, so it's enough to download just the second ZIP.