These links are no longer available.

XXX since we have shacache, this should not be needed. There must be
something wrong with my shacache setup.