Update paged_vector.hpp