add libmpfr-dev to the dependencies