added package conf-mpfr

this is debian-specific...