( cd usr/lib64 ; rm -rf libcloog-isl.so )
( cd usr/lib64 ; ln -sf libcloog-isl.so.4.0.0 libcloog-isl.so )
( cd usr/lib64 ; rm -rf libcloog-isl.so.4 )
( cd usr/lib64 ; ln -sf libcloog-isl.so.4.0.0 libcloog-isl.so.4 )
( cd usr/lib64 ; rm -rf libisl.so )
( cd usr/lib64 ; ln -sf libisl.so.10.2.1 libisl.so )
( cd usr/lib64 ; rm -rf libisl.so.10 )
( cd usr/lib64 ; ln -sf libisl.so.10.2.1 libisl.so.10 )
