gnome-shell-extension-proxyswitcher 1.0+git20151026-0kali1 migrated to Kali Safi