add libgmp-dev to required packages