/usr/lib64/libmpfr.so.4.0.1 libgmp.so.10,libc.so.6
