diff --git a/patches/patch.sh b/patches/patch.sh
index d8eddfd3b91f13fea0ba6a8d8416b1f4db23a4a2..775bd6d5d36208a5945f2c60a2b34e99d43ffe13 100755
--- a/patches/patch.sh
+++ b/patches/patch.sh
@@ -259,7 +259,7 @@ case "$action" in
     fi
 
     echo ""
-    if $PLUMED_ROOT/src/lib/plumed --has-mpi; then
+    if grep -q "D__PLUMED_MPI=1" $PLUMED_ROOT/src/config/compile_options.sh ; then
       echo "PLUMED is compiled with MPI support so you can configure $engine with MPI" 
     else
       echo "PLUMED is compiled WITHOUT MPI support so you CANNOT configure $engine with MPI"