diff --git a/src/kernel_services/plugin_entry_points/kernel.mli b/src/kernel_services/plugin_entry_points/kernel.mli
index b569b2db5964e195d52f8fcf1dfc7e8bbc882757..7bc32e34f8dab6d63026eb7f62aa7b3f4c49bf72 100644
--- a/src/kernel_services/plugin_entry_points/kernel.mli
+++ b/src/kernel_services/plugin_entry_points/kernel.mli
@@ -308,7 +308,7 @@ end
 (** Behavior of option "-add-symbolic-path"
     @since Neon-20140301
     @modify Frama-C+dev inversed argument order (now uses path:name) *)
-module SymbolicPath: Parameter_sig.Filepath_map
+module SymbolicPath: Parameter_sig.Filepath_map with type value = string
 
 module FloatNormal: Parameter_sig.Bool
 (** Behavior of option "-float-normal" *)
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 14137309241b0dfdc41801cda0309fc5cb605e1a..54d04d63939431ae669439b4b29cb5a3c8bc9f32 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -99,7 +99,9 @@ let extend () =
       in
       Project.copy ~selection my_project;
       Project.set_current my_project;
-      Kernel.SymbolicPath.add ("TMPDIR:"^Filename.get_temp_dir_name());
+      Kernel.SymbolicPath.add
+        (Filepath.Normalized.of_string (Filename.get_temp_dir_name ()),
+         Some "TMPDIR");
       Files.append_after [ Filepath.Normalized.of_string tmpfile ];
       Kernel.LogicalOperators.on ();
       Constfold.off ();