/usr/lib/libmpfr.so.6.2.1 libgmp.so.10,libc.so
