How to remove micro-proxy from Debian Unstable (Sid)