Install gmp by running the following commands: ./configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info && make && make install