depend on collective.pdfexport (Re #879)