/usr/lib/libmpfr.so.4.1.2 libgmp.so.10,libc.so.6,ld.so.1
