Re: longstanding pulseaudio bug. any workaround?