How do I change the shell for SSH on Windows from cmd.exe to some other .exe? I'm using Tectia Server v. 6.4.5.90 on Windows. In version 4.4, it was labeled as the "terminal provider" but I don't see that option in Tectia Server Configuration.