Re: anyone using pulseaudio on F32??