s390_64: libmpc.so.3
