use .html file extension when generating hocr