x86_32: libisl.so.23 x86_64: libisl.so.23
