Upstream was stupid and deleted all the distfiles. This explains the
recent breakages in the bulk build results. However, the subsequently
provided an updated distfile.