How to install lava-tool on Debian 9 (Stretch)