Unreviewed attempt to fix Windows build.