link libisl.so.22.0.1