Finding input file names in tex file