Fix use of escape characters in "set terminal title" segment.

Escape characters were incorrect for non-BASH shells.