How to remove mcu8051ide from Debian 9 (Stretch)