pdflatex doesn't have a `-o`? `filename` is misleading (no extension)