Reply to comment:

Paul de Weerd
Hi Eyal, I've tried to reproduce your issue but it seems that I can't: the downloads work fine for me, and I get files of the appropriate size. There could be some on-path problem preventing the download from completing successfully for you; could you try different locations to download from? Alternatively, you could try to do partial downloads using HTTP range requests (see e.g. -C or -r in the curl manpage). As we are unable to reproduce your issue, there's not much that we can do to investigate the problem. If you find anything else, please let us know! Thanks, Paul de Weerd RIPE NCC