link libisl.so.23.2.0