Fix Windows build after r190611.