another fix for GTK < 3.12