Deleted legacy files.

Deletion of these files was missing from the previous commit.