Fix/mpfr version str

Fixes #33.