Patches to the gnome shell advanced volume mixer extension