aaa_libraries|gmp,aaa_libraries|libmpc,aaa_libraries|mpfr