Вы можете установить GMP с
sudo apt-get install libgmp3-dev
sudo apt-get install libmpfr-dev
sudo apt-get install MPC