deleting some obsolete files