Fix the Windows build after commit 8a9ce57.