fix darcs