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