konsole/gnome-terminal TERM override