Fixing MPI vendor specification

script/set_mpi

@@ -4,7 +4,7 @@ function set_mpi()
 {
   if [ x"$MPI_valid" == x"yes" ]; then
 	if [ $is_mpi_openmpi -eq 1 ]; then
-		configure_options="$configure_options CXX=mpic++ --mpivendor=openmpi"
+		configure_options="$configure_options CXX=mpic++ --with-mpivendor=openmpi"
 	else
         	configure_options="$configure_options CXX=mpic++ "
 	fi