Setting up the headerbar manually like this only worked by accident
before. Recent GTK+ changes made it come up with an empty headerbar.