gnome-sound-recorder: update to 3.12.2.