Removed now obsolete files