the port should be configurable but default to the DEFAULT_WINRM_PORT