Add a workaround for alt-x mappings in gnome-terminal.