Ok I'll give it a try.
My question about libpulse-dev comes from the fact (as per my initial message) i downloaded 0.9.0 source and compiled it on Raspberry Pi, without having pulseaudio installed. And then the problem with: AL lib: (WW) alc_initconfig: Failed to initialize backend "pulse" appeard. So I think during compilation pulseaudio has been chosen as a default audio output.
