diff --git a/tests/builtins/big_local_array_script.ml b/tests/builtins/big_local_array_script.ml
index fd3254716f91c30442ce23323bbff0c4cc2681c5..70b79026515dc3b7e730dc80eb4eb3f1fb9974bb 100644
--- a/tests/builtins/big_local_array_script.ml
+++ b/tests/builtins/big_local_array_script.ml
@@ -10,7 +10,7 @@ let foo () =
   if Project.get_name (Project.current ()) <> "prj" then begin
     let prj = Project.create "prj" in
     let () = Project.set_current prj in
-    let f = Filepath.Normalized.of_string (ptest_file "tests/builtins/" "big_local_array.i") in
+    let f = Filepath.Normalized.of_string (ptest_file "" "big_local_array.i") in
     File.init_from_c_files [File.from_filename f]
   end
 
diff --git a/tests/builtins/from_result.c b/tests/builtins/from_result.c
index e04c3978a755ccca665bb69c8782ea00006448d4..d1b6319210b82fd9a1f31ec1d8dff7504e25c15e 100644
--- a/tests/builtins/from_result.c
+++ b/tests/builtins/from_result.c
@@ -1,5 +1,5 @@
 /* run.config*
-   OPT:  -cpp-extra-args=-I@PTEST_SHARE_DIR@ @EVA_CONFIG@ -eva-alloc-builtin fresh -deps
+   OPT:  -cpp-extra-args=-I@FRAMAC_SHARE@ @EVA_CONFIG@ -eva-alloc-builtin fresh -deps
 */
 
 #include "libc/stdlib.c"