networkmanager patch port for 3.9.90 gnome-shell