/usr/lib/libgmp.so.10.3.2 libc.so
