Deleting one more obsolete file