Fixing missing #include under Windows