How to remove mininet from Debian Unstable (Sid)