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