( cd usr/lib ; rm -rf libginac-1.5.so.0 )
( cd usr/lib ; ln -sf libginac-1.5.so.0.1.0 libginac-1.5.so.0 )
( cd usr/lib ; rm -rf libginac.so )
( cd usr/lib ; ln -sf libginac-1.5.so.0.1.0 libginac.so )
