Comment by lazyeye

Just put the fixed IP addresses for the various archive.?? domains in your hosts file. This completely resolved the problem for me.