Depends: add gmp library.