diff --git a/tools/do_concolic.sh b/tools/do_concolic.sh
index 4820e7953034ffc08d60f69a7150f6355b2c5bb3..0535e86a9252f6e7c44f151702161eb822a6850b 100755
--- a/tools/do_concolic.sh
+++ b/tools/do_concolic.sh
@@ -39,6 +39,7 @@ fi
 
 
 echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
-     STRATA_GRACE=1 pgrp_timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
+     STRATA_GRACE=1 $GRACE_HOME/concolic/bin/pgrp-timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
+