How to install doc-central on Debian 9 (Stretch)