removed now obsolete files