/usr/local/lib/libisl.so
/usr/local/lib/libisl.so.13
/usr/local/lib/libisl.so.13.1.1