/usr/local/lib/libisl.so
/usr/local/lib/libisl.so.23
/usr/local/lib/libisl.so.23.0.0