How to remove gnuboy-x from Debian 9 (Stretch)