darcs replace $1 $2  $1.ig $1.mg
darcs mv $1.ig $2.ig
darcs mv $1.mg $2.mg