Fixing MPI install on furiosa

script/install_MPI.sh

@@ -12,6 +12,7 @@ cd openmpi-4.0.4
 
 if [ -f ../mpi_add_options ]; then
 	mpi_options=$(cat ../mpi_add_options)
+	echo "Adding MPI options: $mpi_options"
 fi
 
 if [ x"$3" == x"1" ]; then