How to remove mcu8051ide from Debian Unstable (Sid)