/usr/lib/libgmp.so.10.5.0 libc.so
/usr/lib/libgmpxx.so.4.7.0 libgmp.so.10,libc++.so.1,libc++abi.so.1,libc.so,libunwind.so.1
