Fixing installation of Parmetis

script/install_Parmetis.sh

 #! /bin/bash
 
+source script/discover_os
+discover_os
+
 # check if the directory $1/PARMETIS exist
 
 if [ -d "$1/PARMETIS" ]; then
@@ -23,8 +26,6 @@ fi
 
 $sed_command -i "/#define\sIDXTYPEWIDTH\s32/c\#define IDXTYPEWIDTH 64" metis/include/metis.h
 
-sed #define IDXTYPEWIDTH 32
-
 make config prefix=$1/PARMETIS
 make -j $2
 if [ $? -ne 0 ]; then