diff --git a/common b/common
index c8d1d62..b9dcd05 100644
--- a/common
+++ b/common
@@ -122,7 +122,7 @@ common_setup() {
   if [ -n "$common_gem5_worktree" ]; then
     common_gem5_src_dir="${common_gem5_non_default_src_root_dir}/${common_gem5_worktree}"
   else
-    common_gem5_src_dir="${common_root_dir}/gem5/gem5"
+    common_gem5_src_dir="$common_gem5_default_src_dir"
   fi
   if "$common_gem5"; then
     common_exec="$common_gem5_exec"