requires gmp gmp++ crt-dev libstdc++-dev