Use LATEX header to find a tex processor.