How to remove lava-tool from Debian 9 (Stretch)