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