[libc][NFC][obvious] fix the names of MPFR tests