elibc_glibc kernel_linux mix ppc pulseaudio usb_stream
