Is genlib part of stdlib ?
* If it is, I think the GNU as header for Genlib should be put in both upstream Genlib and the include directory of a default GCC4TI installation;
* If it isn't, I think the GNU as header for Genlib should be put only in upstream Genlib for now. Addition to the include directory of a GCC4TI installation should come later, as part of ticket #30 (improved installers with bundled or downloadable external libraries and programs such as ExtGraph, Genlib, etc.).

What do you think ?