/usr/lib/libmpfr.so.1.1.2 libgmp.so.3,libc.so.6
