diff --git a/benchmarks/dvmp/gen.sh b/benchmarks/dvmp/gen.sh
index 32f4b7df79895068b4ed94e2d9ec92e53613f43c..2adf2ab0619acbea30619006970295f5e3c37055 100755
--- a/benchmarks/dvmp/gen.sh
+++ b/benchmarks/dvmp/gen.sh
@@ -13,6 +13,8 @@
 ## make sure we launch this script from the project root directory
 PROJECT_ROOT="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"/../..
 pushd ${PROJECT_ROOT}
+echo ${PROJECT_ROOT}
+ls .
 
 ## =============================================================================
 ## Step 1: Setup the environment variables