tools/mpfr: add GNU source

No match.