hammerhead: Add missing header file