Remove include of unused deprecated header
Merge pull request #6211 from wmtan/RemoveObsoleteInclude

Remove include of unused deprecated header