Add missing generated header