The previous sources for these files have gone away, making this derivation
unbuildable from scratch. We change the URLs to point at locations that will
still serve those patches.
This involves updating one of the hashes, also; I couldn't find an address
that will serve the patch with the original hash, but I expect these only
differ in irrelevant metadata.