Drat. Did not work for me. Possibly an intermittent error in the file server? I gather that it may be getting quite a bit of use right now!
(Linux Mint 64, etc., but since this looks like a cross platform problem, I don't think OS details matter right now.)