python_sage: gmp_vs_mpir AC_DEFINE