repair Vector constructor and ogDestroyVector(vector_id) method