As usual, the default debian commands don’t do the job. I tried running pdflatex
and got some indecipherable errors about a font not found. apt install texlive-latex-extra
takes an inordinate time to complete, but it did the trick. pdflatex
is now operative.