cinnamon-settings: use cinnamon-session-properties