Fix the ibiblio.org URL in MASTER_SITE - the old address redirects,
which in itself is a reason to adjust, but even redirects in an
incompatible manner.