fix alt in gnome-terminal