Fixed up breakage on POSIX caused by the Win32 port.