GNOME developers: Can you please check the path between "gnome-terminal" and "gnome-terminal-server" where the keyring is being replaced? Thanks.