Add the generated include files. Again, this is ugly...