How to remove smoke-dev-tools from Debian Unstable (Sid)