bug#35597: GNOME Tweak Tool does not start

[Ricardo Wurmus]

This is now fixed with commit d13f3a033e42b4a14d581390b8fa36cd1db7d023,
which I adjusted from wip-gnome3.30.

-- 
Ricardo