don't use `shell=True` in PDF export

causes weird `End of file on the terminal... why?` messages.