Fixes #5431: correct port number used on Windows