Delete cool_vector.h~