pdf output of shell.tex (just to be able to see it)