Add explicit header that is no longer brought in by default.
Merge pull request #4882 from bbockelm/fix_missing_xrd402_header

Add explicit header that is no longer brought in by default.