Oops: revert 49636. We tell a2x to use fop to generate the PDFs.