Make port optional when using a PuTTY session profile.