How to remove gnusim8085 from Debian 9 (Stretch)