Don't need ppa for cinnamon anymore.