aaa_libraries|gmp aaa_libraries|mpfr