I think I located the problem with the Windows build. If someone wants to create a new binary from github HEAD, we can see if it fixed it.