Remove obsolete header inclusion