tools/mpfr: add GNU source