silence poppler stdout output, so it is suitable as a benchmark