How to install htmldoc-common on Debian 9 (Stretch)