( cd usr/lib ; rm -rf libgmp.so )
( cd usr/lib ; ln -sf libgmp.so.10.5.0 libgmp.so )
( cd usr/lib ; rm -rf libgmp.so.10 )
( cd usr/lib ; ln -sf libgmp.so.10.5.0 libgmp.so.10 )
( cd usr/lib ; rm -rf libgmpxx.so )
( cd usr/lib ; ln -sf libgmpxx.so.4.7.0 libgmpxx.so )
( cd usr/lib ; rm -rf libgmpxx.so.4 )
( cd usr/lib ; ln -sf libgmpxx.so.4.7.0 libgmpxx.so.4 )
