Fix issue #85: PuttyMachine fails with non-default port.
Merge pull request #86 from gjklein/master

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