Fix border of menubar with GTK3