sane: use a working distfiles mirror.