Fixed for newer version: pdf2html.cgi