diff --git a/src/plugins/server/kernel_project.ml b/src/plugins/server/kernel_project.ml
index 2982af38085873d93939b0e0a4812c1decd47d1e..532a7b34f7705936fdaa2da986ee33c6fda832f6 100644
--- a/src/plugins/server/kernel_project.ml
+++ b/src/plugins/server/kernel_project.ml
@@ -130,6 +130,9 @@ let () =
     ~page ~name:"kernel.project.getSourceFileNames"
     ~descr:(Md.plain "Get the source file names of the current project")
     ~input:(module Junit) ~output:(module Jstring.Jlist)
-    Kernel.Files.get
+    (fun () ->
+       List.map
+         (fun fname -> (Filepath.Normalized.of_string fname :> string))
+         (Kernel.Files.get ()))
 
 (* -------------------------------------------------------------------------- *)