include gmp
do gmp as shared extension