gnome-nettool: remove obsolete patch.