How to remove mia-tools-dbg from Debian Unstable (Sid)