mips_o32: libmpfr.so.4
