mpfr: add missing MD5SUM