when pdf2htmlEX doesn't work, use pdftohtml fallback

- this can sometimes happen when pdf2htmlEX segfaults