fix darcs patch