/usr/lib/libisl.so.23.4.0 libgmp.so.10,libc.so.6
/usr/lib64/libisl.so.23.4.0 libgmp.so.10,libc.so.6
