Fixes for menu in GTK3.8