Add notorious missing header.