Delete files reintroduced by the darcs conversion