x86_64: libisl.so.23
