If downloading "all files in zip" from build.whamcloud.com fails, you can try the following:
- Connect to VPN
- ssh to onyx or trevis
- execute command similar to the following (you can copy the url from your browser as a link to the file you actually need):
- scp the downloaded file to your machine