removed an obsolete file