/usr/local/lib/libisl.so
/usr/local/lib/libisl.so.10
/usr/local/lib/libisl.so.10.2.2