This appears to be the solution, worked under linux atleast
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.)
Alright, two tries later and it worked with no additional reboot.
