make pdfreader fail gracefully on systems with too old versions of pdftohtml installed (ie travis-ci)