list patches below `sources` please (and while you're at it, list `source_urls` above `sources`).

Also, please include a version number of PPL/MPFR in the patch filename, to make it clear for which versions it applies, and to avoid confusion when a similar patch is required for future versions.