( cd usr/lib64 ; rm -rf libisl.so.8 )
( cd usr/lib64 ; ln -sf libisl.so.8.0.0 libisl.so.8 )
( cd usr/lib64 ; rm -rf libisl.so )
( cd usr/lib64 ; ln -sf libisl.so.8.0.0 libisl.so )
( cd usr/lib64 ; rm -rf libcloog-isl.so.3 )
( cd usr/lib64 ; ln -sf libcloog-isl.so.3.0.0 libcloog-isl.so.3 )
( cd usr/lib64 ; rm -rf libcloog-isl.so )
( cd usr/lib64 ; ln -sf libcloog-isl.so.3.0.0 libcloog-isl.so )
