diff --git a/config/dune b/config/dune
index 79474fdc4ef2..bf88c6954e79 100644
--- a/config/dune
+++ b/config/dune
@@ -35,7 +35,5 @@
    %{project_root}/dev/ocamldebug-coq.run
    %{project_root}/dev/header.c
    ; Needed to generate include lists for coq_makefile
-   plugin_list
-  ; used for the prefix
-  (env_var PWD))
- (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -quiet -prefix ../install/default))))
+   plugin_list)
+ (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -quiet -prefix %{workspace_root}/../install/default))))