clean up after pdflatex