Edit File - have_mpfr.awk