/usr/local/lib/libisl.so
/usr/local/lib/libisl.so.15
/usr/local/lib/libisl.so.15.2.1