Make PuTTY session name easier to change.