Menubar missing from F14 gnome-terminals