small fix to the Windows build