How to remove 9menu from Debian 9 (Stretch)