fix generation of autogenerated.h