fixed string comparison problem
actually, "dumb" is what Tramp sends out as its terminal type by default, so stick with that