gnome3.10 support, thanks to codito/gnome-shell-pomodoro