aaa_libraries|gmp,ghc