fix menu highlight color in GTK+ 2