diff --git a/packages/performance/extrae/extrae-3.4.3 b/packages/performance/extrae/extrae-3.4.3
index 77ccc1e..1d6595a 100644
--- a/packages/performance/extrae/extrae-3.4.3
+++ b/packages/performance/extrae/extrae-3.4.3
@@ -20,7 +20,7 @@ enable_papi=${enable_papi:=1}
 
 # MAKEOPTS="-j1"
 
-[[ -z "${MPI_DIR// }" ]] || sit_fail "Installation requires MPI. No MPI installation found."
+[[ -z "$MPI_DIR" ]] && sit_fail "Installation requires MPI. No MPI installation found."
 
 
 # Other interesting configure options:
@@ -43,7 +43,8 @@ esac
 # use PAPI
 if [ $enable_papi != 0 ] ; then
     PAPI_DIR=$(dirname $(dirname $(which papi_avail)))
-    [ -z "${PAPI_DIR// }" ] || sit_fail "PAPI diretory not found!"
+    [ -z "${PAPI_DIR/\//}" ] && sit_fail "PAPI diretory not found!"
+    sit_info "PAPI_DIR: $PAPI_DIR"
     CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi=$PAPI_DIR"
 else
     CONFIGURE_OPTS="$CONFIGURE_OPTS --without-papi"