[tests] dune: fix test directory 'builtins'

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
 

tests/builtins/from_result.c

 /* 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"