/usr/lib64/libmpfi.so.0.0.0 libmpfr.so.6,libgmp.so.10,libc.so.6
