I pushed a fix which makes the driver only emit this line if actually needed (which is never in the case of our current test examples).
J'
On Mon, Oct 26, 2020 at 09:51:51AM -0700, Ben Pfaff wrote:
All of the tests do pass if I delete the line "\input graphicx" from
the generated output.
