Gnome screensaver: how to change keyboard layout