frontend: fix pulseaudio, detect it in configure script