use wkhtmltopdf to convert html2pdf (re #879)