Any generated headers go in $(BUILD)/genhdr/, and are #included as
'genhdr/xxx.h'.