[tools] the mpfr dependencies accidentally got broken up, fix it