diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index 9c51da69688d24cdd3159e6ad329bb31a0fbc986..26da04671ebd53dff215692bd0edf9c04834db0a 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -81,7 +81,8 @@ let section_stubs env =
   let stubbed_kf =
     List.concat
       (List.map
-         (fun filename ->
+         (fun f ->
+            let filename = Filepath.normalize f in
             Globals.FileIndex.get_functions ~declarations:false ~filename)
          (Mdr_params.Stubs.get ())
       )