How to remove atari800 from Debian 9 (Stretch)