remove numeric header from vector.h