How to remove robocode from Debian 9 (Stretch)