Bug#720466: cinnamon: Crashes when opening the menu, using command window or hot corner

[Tyler Blalock]

I also have this bug running Debian in VirtualBox and VMware Fusion guests
on Max OS X hosts.