actually generate header files for external resources