Fix a Windows-specific include