Changing default source for PulseAudio: recording from a mic