GCC: change name of mpfr patch