How to remove lava-tool from Debian Unstable (Sid)