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