( cd usr/lib ; rm -rf libgmpxx.so )
( cd usr/lib ; ln -sf libgmpxx.so.4.2.5 libgmpxx.so )
( cd usr/lib ; rm -rf libmp.so )
( cd usr/lib ; ln -sf libmp.so.3.1.25 libmp.so )
( cd usr/lib ; rm -rf libmp.so.3 )
( cd usr/lib ; ln -sf libmp.so.3.1.25 libmp.so.3 )
( cd usr/lib ; rm -rf libgmp.so.10 )
( cd usr/lib ; ln -sf libgmp.so.10.0.5 libgmp.so.10 )
( cd usr/lib ; rm -rf libgmp.so )
( cd usr/lib ; ln -sf libgmp.so.10.0.5 libgmp.so )
( cd usr/lib ; rm -rf libgmpxx.so.4 )
( cd usr/lib ; ln -sf libgmpxx.so.4.2.5 libgmpxx.so.4 )
