Some things changed in MPFR v3.1.0 that GCC v4.7 wasn't aware of yet, so a patch was needed to make it work.

Just get rid of this line, most likely the problem was fixed in GCC v4.8.