Pulse audio always forgets my current audio device