libisl.so.10
libgmp.so.10
libc.so.6