Some deletions of deprecated files.