Add libmpfr-dev to list of dependencies