gnome-terminal size incorrect in fc17