One additional isuue: Before trying to switch back to PDF output, check whether the patch also fixes bug #443026.
One additional isuue: Before trying to switch back to PDF output, check whether the patch also fixes bug #443026.