Work around download.zope.org