compatibility with Cinnamon 2.x (and conversion to new settings api) -- initial