s390_64: libmpfr.so.4
