diff --git a/src/plugins/value/utils/library_functions.ml b/src/plugins/value/utils/library_functions.ml
index c5319201fcdc0a7a931b016dfe2e2455b073c2f1..51eee5493942a52e12279d33f5578f8ea2c689ab 100644
--- a/src/plugins/value/utils/library_functions.ml
+++ b/src/plugins/value/utils/library_functions.ml
@@ -100,12 +100,12 @@ let unsupported_specs_tbl =
 let warn_unsupported_spec name =
   try
     let header = Hashtbl.find unsupported_specs_tbl name in
-    let path = Filepath.Normalized.(concat (concat Fc_config.datadir "libc") header) in
     Self.warning ~once:true ~current:true
       ~wkey:Self.wkey_libc_unsupported_spec
       "@[The specification of function '%s' is currently not supported by Eva.@ \
-       Consider adding %a@ to the analyzed source files.@]"
-      name  Filepath.Normalized.pretty path
+       Consider adding '%a'@ to the analyzed source files.@]"
+      name Filepath.Normalized.pretty
+      (Filepath.Normalized.concat Fc_config.framac_libc header)
   with Not_found -> ()
 
 
diff --git a/src/plugins/value/utils/mark_noresults.ml b/src/plugins/value/utils/mark_noresults.ml
index 2f9569a5bd2e29bfc75f1e962e39a7f8e1217b79..f679f39b8bad2d0148e1771357d6cb1e508bd16d 100644
--- a/src/plugins/value/utils/mark_noresults.ml
+++ b/src/plugins/value/utils/mark_noresults.ml
@@ -36,6 +36,7 @@ let no_memoization_enabled () =
   not (Parameters.NoResultsFunctions.is_empty ())
 
 
+
 (*
 Local Variables:
 compile-command: "make -C ../../../.."