added package conf-mpfr

I agree. Seeing as it's platform-dependent, it looks like a good candidate for a platform plugin/module/script function.