How to remove xul-ext-greasemonkey from Debian 9 (Stretch)