How to remove miri-sdr from Debian 9 (Stretch)