On Dec 14, 2011 8:32 AM, "Mark Creamer" <whitetr6 at gmail.com> wrote: > > Exactly the same URL. I just tried it again to be sure. What happens if you try and wget the file? Does it work? Does the shasum of the file then match the filename?