/usr/lib/libgmp.so.10.3.0 libc.so.0
/usr/lib/libgmpxx.so.4.5.0 libgmp.so.10,libstdc++.so.6,libc.so.0,libgcc_s.so.1
