configure: Allow choice of backend for PDF generation.