Fix missing header on Windows.