gnome 3, pulseaudio, typerex