Fixes #5431: correct port number used on Windows
Merge pull request #468 from ncharles/bug_5431/dev/port_on_windows

Fixes #5431: correct port number used on Windows