How to remove openocd from Debian Unstable (Sid)