Update minivector12.h