Fix MS-Windows build broken by fixing bug #12776 on Posix platforms.