Make compatible with Cinnamon 1.7.2

Changed the version of Cinnamon to 1.7.2