Delete files that got introduced in the darcs conversion