[tools] mpfr: add missing MD5SUM