Extracting Used HAL Library Files

I am still attempting to strip out all of the Nios II GCC newlib library files and HAL driver files for certification purposes and have run into a brick wall. There are two files included in the project that are called lib2-divmod.c and lib2-mul.c that have a few# includes (tconfig.h, auto-host.h, tsystem.h, coretypes.h and tm.h) that do not exist anywhere. Does anyone know anything about these header files? From my research it seems that these are either part of a .a file somewhere or they are transient files that come and go upon building a project (mkconfig.sh??). Any insight anyone can lend would be greatly appreciated.