gnome-shell and syslog problems