[gnome-extra/cinnamon] fix collision with gnome-screensaver