use preprocessed vector60.hpp and vector70.hpp