Fixing no-mpfr test