Sorry if this is the wrong place to post this.
I noticed that your Linux download is a plain tar archive. If you gzipped it, it would be about 15-20 MB less in size, which could be great if the connection's finicky.
Do you think you should start gzipping it? It's as simple as using
instead of
.