PDFParser: optional usage of Ghostscript