Fix gnome-themes-standard to work with GTK 3.10