Work around an initialization bug of GTK menus