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