Rename minivector12.h to mvector.h