Fix Windows build after r153134.