Well, that was a mistake. Tried installing pulseaudio and now I have no sound, even after a reboot. Don't know what to do now --- uninstall it??