Fixing compilation issue of simple_vector.h