SocketAPI: proper name for pipe on windows