Editing: have_mpfr.awk