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