#11628: Fixes PDF download by specifiying the pdf file name to phpPDF.