( cd usr/lib64 ; rm -rf libgmp.so.10 )
( cd usr/lib64 ; ln -sf libgmp.so.10.3.0 libgmp.so.10 )
( cd usr/lib64 ; rm -rf libgmpxx.so )
( cd usr/lib64 ; ln -sf libgmpxx.so.4.5.0 libgmpxx.so )
( cd usr/lib64 ; rm -rf libgmp.so )
( cd usr/lib64 ; ln -sf libgmp.so.10.3.0 libgmp.so )
( cd usr/lib64 ; rm -rf libgmpxx.so.4 )
( cd usr/lib64 ; ln -sf libgmpxx.so.4.5.0 libgmpxx.so.4 )
