deleting some files that are no longer necessary