Temporary workaround for #3

This doesn't fix the problem (see issue #3 and Cinnamon issue linuxmint/cinnamon#2293), but at least it makes it easier to workaround the bug, and to see where the problem lies.