Fix the Windows build (broken in 315a8ba)