install the more generic name libgmp-dev in the CI env