linux: use pulse audio directly