How to remove octomap-tools from Debian Unstable (Sid)