Both sites seem to be working for me...
What exactly happens for you? It starts but times out after some time?
Or you get nothing at all?
These are large files, so you may want to download with a tool that
supports resume...such as wget.
Best Wishes,
Fran.