Dennis Shaw wrote: > Ya, the file I downloaded is only1557566248 bytes, obviously not right. > I was using Firefox to download it... I'm trying wget now. Watch out; only the most recent versions of wget support large (>2GB) files. curl should be OK though. Paul.