--- ../test/dune	2025-12-06 18:53:27.064864124 +0200
+++ ../test/dune	2025-12-06 18:57:24.817918814 +0200
@@ -7,17 +7,17 @@
 
 (rule
  (targets zarith_externals.txt)
- (deps ../../../external/zarith/src/z.ml)
+ (deps ../z.ml)
  (action
   (bash
     "(cat %{deps} | grep -Eo '^external[^=]*= *\"[^\"]*' | grep -v \"identity\" | grep -v \"obj_is_int\" | sed 's/.*\"ml_z_//' | sort -u) > %{targets}")))
 
 (rule
  (targets implemented_externals.txt)
- (deps ../src/runtime.js)
+ (deps ../runtime.js)
  (action
   (bash
-    "(cat ../src/runtime.js | grep -o '//Provides: ml_z[^ ]*' | sed 's/\\/\\/Provides: ml_z_//' | grep -v 'fits_.*_unsigned' | grep -v 'to.*int.*unsigned' | grep -v normalize | grep -v extract_small | sort) > %{targets}")))
+    "(cat ../runtime.js | grep -o '//Provides: ml_z[^ ]*' | sed 's/\\/\\/Provides: ml_z_//' | grep -v 'fits_.*_unsigned' | grep -v 'to.*int.*unsigned' | grep -v normalize | grep -v extract_small | sort) > %{targets}")))
 
 (rule
  (targets tested_externals.txt)