improved handling of pdf2html converting files