> pdflatex is (at least in Debian stable) part of tetex-bin, which I would have > thought that you would have had. Whoops. I was on a machine without tetex-bin, and for some reason apt-file was out of date and didn't show pdflatex. After doing apt-file udpate I found it. I will apply Adam's patch.