Esse arquivo é fornecido pelo libmpfr4
package , que pode ser instalado abrindo um terminal (pressione Ctrl + Alt + T ) e executando:
sudo apt-get update
sudo apt-get install libmpfr4
Se disser que o pacote já está instalado, você pode tentar:
sudo apt-get install --reinstall libmpfr4