Fix issue with copy() and std::vector<bool>