#9631: Hint GNOME 3 window manager to use dark window borders
(cherry picked from commit 56d67620f985ab58f62b93967887147f8c400f66)