How to install micro-httpd on Debian 9 (Stretch)