add libgmp dependency to ledger