final_sources in TeXASChildren