diff --git a/src/plugins/markdown-report/eva_coverage.ml b/src/plugins/markdown-report/eva_coverage.ml
index bcdc1433bbe741c8576dfaabc154128061ed98c6..70c5f4bc12f28afb23835c95ea1701d06e7e6b74 100644
--- a/src/plugins/markdown-report/eva_coverage.ml
+++ b/src/plugins/markdown-report/eva_coverage.ml
@@ -44,7 +44,8 @@ let is_analyzed_function vi =
                  Cil_datatype.Varinfo.equal
                    (Kernel_function.get_vi kf)
                    vi)
-              (Globals.FileIndex.get_functions s))
+              (Globals.FileIndex.get_functions
+                 (Filepath.Normalized.of_string s)))
          (Mdr_params.Stubs.get())) &&
   not (List.mem vi.vname
          (String.split_on_char ','
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index 2f74d5565be075a726dc973ca81b817037ea5e68..3fe132bcf7d95020df0ec8699eabb32622e03d5a 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -92,8 +92,8 @@ let section_stubs env =
     List.concat
       (List.map
          (fun f ->
-            let filename = Filepath.normalize f in
-            Globals.FileIndex.get_functions ~declarations:false ~filename)
+            let filename = Filepath.Normalized.of_string f in
+            Globals.FileIndex.get_functions ~declarations:false filename)
          (Mdr_params.Stubs.get ())
       )
   in
@@ -294,9 +294,7 @@ let gen_coverage env =
   in
   header :: content
 
-let string_of_pos pos =
-  Format.asprintf
-    "%s:%d" (Filename.basename pos.Lexing.pos_fname) pos.Lexing.pos_lnum
+let string_of_pos pos = Format.asprintf "%a" Filepath.pp_pos pos
 
 let string_of_pos_opt =
   function