Add in mpfr dependencies into debian metadata files, fix buildd errors