make sure that everything includes the autoheader-generated header