Fix theme breakage for gnome 3.8