Fix https://github.com/biox/Gnome-Shell-Window-Buttons-Extension/issues/24