Removed some lingering obsolete files.