Use "fetchpatch" instead of a patch file.

Following advice in pull request #4856.