How to remove sauerbraten from Debian 9 (Stretch)