make the same change as in 213546 for vector<bool>