Add header file missing from last commit.

Submitted by: jfv
MFC after: 1 week