Another fix to cinnamon-* ports