'top' fails: 'xterm-256color': unknown terminal type