Pdf targets shall depend on setup.tex