Fix issue #85: PuttyMachine fails with non-default port.