How to install xul-ext-toggle-proxy on Debian 9 (Stretch)