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