[linux-audio-user] Converting streaming Ogg into MP3 in real-time