diff --git a/verif/docs/VerifPlans/AXI/runme.sh b/verif/docs/VerifPlans/AXI/runme.sh
index e2cfd351f..6d283b80b 100644
--- a/verif/docs/VerifPlans/AXI/runme.sh
+++ b/verif/docs/VerifPlans/AXI/runme.sh
@@ -31,4 +31,4 @@ export MARKDOWN_OUTPUT_DIR=`readlink -f "$ROOTDIR/../source"`
 # FIXME: Introduce a suitably named shell variable that points to the root
 # directory of the tool set (TOOL_TOP etc.)
 # FORNOW use a hardcoded relative path.
-sh $ROOTDIR/../../../../tools/vptool/vptool.sh $*
+sh $ROOTDIR/../../../../verif/core-v-verif/tools/vptool/vptool.sh $*
diff --git a/verif/docs/VerifPlans/CVXIF/runme.sh b/verif/docs/VerifPlans/CVXIF/runme.sh
index 1701a0ebe..3d8aae67e 100644
--- a/verif/docs/VerifPlans/CVXIF/runme.sh
+++ b/verif/docs/VerifPlans/CVXIF/runme.sh
@@ -31,4 +31,4 @@ export MARKDOWN_OUTPUT_DIR=`readlink -f "$ROOTDIR/../source"`
 # FIXME: Introduce a suitably named shell variable that points to the root
 # directory of the tool set (TOOL_TOP etc.)
 # FORNOW use a hardcoded relative path.
-sh $ROOTDIR/../../../../tools/vptool/vptool.sh $*
+sh $ROOTDIR/../../../../verif/core-v-verif/tools/vptool/vptool.sh $*
diff --git a/verif/docs/VerifPlans/FENCEI/runme.sh b/verif/docs/VerifPlans/FENCEI/runme.sh
index 1a172b8ae..b850429a1 100644
--- a/verif/docs/VerifPlans/FENCEI/runme.sh
+++ b/verif/docs/VerifPlans/FENCEI/runme.sh
@@ -31,4 +31,4 @@ export MARKDOWN_OUTPUT_DIR=`readlink -f "$ROOTDIR/../source"`
 # FIXME: Introduce a suitably named shell variable that points to the root
 # directory of the tool set (TOOL_TOP etc.)
 # FORNOW use a hardcoded relative path.
-sh $ROOTDIR/../../../../tools/vptool/vptool.sh $*
+sh $ROOTDIR/../../../../verif/core-v-verif/tools/vptool/vptool.sh $*
diff --git a/verif/docs/VerifPlans/FRONTEND/runme.sh b/verif/docs/VerifPlans/FRONTEND/runme.sh
index b808624f8..8e963cfff 100644
--- a/verif/docs/VerifPlans/FRONTEND/runme.sh
+++ b/verif/docs/VerifPlans/FRONTEND/runme.sh
@@ -31,4 +31,4 @@ export MARKDOWN_OUTPUT_DIR=`readlink -f "$ROOTDIR/../source"`
 # FIXME: Introduce a suitably named shell variable that points to the root
 # directory of the tool set (TOOL_TOP etc.)
 # FORNOW use a hardcoded relative path.
-sh $ROOTDIR/../../../../tools/vptool/vptool.sh $*
+sh $ROOTDIR/../../../../verif/core-v-verif/tools/vptool/vptool.sh $*
diff --git a/verif/docs/VerifPlans/MMU_SV32/runme.sh b/verif/docs/VerifPlans/MMU_SV32/runme.sh
index a5c8b8c70..cbccf034d 100755
--- a/verif/docs/VerifPlans/MMU_SV32/runme.sh
+++ b/verif/docs/VerifPlans/MMU_SV32/runme.sh
@@ -31,4 +31,4 @@ export MARKDOWN_OUTPUT_DIR=`readlink -f "$ROOTDIR/../source"`
 # FIXME: Introduce a suitably named shell variable that points to the root
 # directory of the tool set (TOOL_TOP etc.)
 # FORNOW use a hardcoded relative path.
-python3 $ROOTDIR/../../../../tools/vptool/vptool/vp.py $*
+sh $ROOTDIR/../../../../verif/core-v-verif/tools/vptool/vptool.sh $*
diff --git a/verif/docs/VerifPlans/csr_access/runme.sh b/verif/docs/VerifPlans/csr_access/runme.sh
index fbf348b40..621204702 100644
--- a/verif/docs/VerifPlans/csr_access/runme.sh
+++ b/verif/docs/VerifPlans/csr_access/runme.sh
@@ -31,4 +31,4 @@ export MARKDOWN_OUTPUT_DIR=`readlink -f "$ROOTDIR/../source"`
 # FIXME: Introduce a suitably named shell variable that points to the root
 # directory of the tool set (TOOL_TOP etc.)
 # FORNOW use a hardcoded relative path.
-sh $ROOTDIR/../../../../tools/vptool/vptool.sh $*
+sh $ROOTDIR/../../../../verif/core-v-verif/tools/vptool/vptool.sh $*