diff --git a/src/plugins/e-acsl/tests/builtin/dune b/src/plugins/e-acsl/tests/builtin/dune
index 9dbf4e24533a7de7d1e1946bcef58497e1507f23..60c73d79b871aac38f96989e746ac1ce4757a8b0 100644
--- a/src/plugins/e-acsl/tests/builtin/dune
+++ b/src/plugins/e-acsl/tests/builtin/dune
@@ -1,7 +1,7 @@
 (subdir
  result/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))
 
 (subdir
  result_dev/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))
diff --git a/src/plugins/e-acsl/tests/builtin/utils b/src/plugins/e-acsl/tests/builtin/utils
deleted file mode 120000
index 19985ba50b51e1b7741a400a0b24ee16739553af..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/tests/builtin/utils
+++ /dev/null
@@ -1 +0,0 @@
-../utils/
\ No newline at end of file
diff --git a/src/plugins/e-acsl/tests/format/dune b/src/plugins/e-acsl/tests/format/dune
index 9dbf4e24533a7de7d1e1946bcef58497e1507f23..60c73d79b871aac38f96989e746ac1ce4757a8b0 100644
--- a/src/plugins/e-acsl/tests/format/dune
+++ b/src/plugins/e-acsl/tests/format/dune
@@ -1,7 +1,7 @@
 (subdir
  result/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))
 
 (subdir
  result_dev/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))
diff --git a/src/plugins/e-acsl/tests/format/utils b/src/plugins/e-acsl/tests/format/utils
deleted file mode 120000
index 19985ba50b51e1b7741a400a0b24ee16739553af..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/tests/format/utils
+++ /dev/null
@@ -1 +0,0 @@
-../utils/
\ No newline at end of file