repair after accidental deleting of a bunch of files