removed an include to an obsolete file