How to remove gtkwave from Debian 9 (Stretch)