( cd usr/share/prover9/mace4.src ; rm -rf util )
( cd usr/share/prover9/mace4.src ; ln -sf ../ladr/util util )
( cd usr/share/prover9/provers.src ; rm -rf util )
( cd usr/share/prover9/provers.src ; ln -sf ../ladr/util util )
