Removed now-unused files.