Merge branch 'fix/andre/filepath-normalized' into 'master'

synchronize with frama-c/frama-c!1947

See merge request frama-c/e-acsl!232

src/plugins/e-acsl/main.ml

@@ -64,7 +64,7 @@ let unmemoized_extend_ast () =
     let register s =
       File.pre_register
         (File.NeedCPP
-           (Datatype.Filepath.of_string s,
+           (s,
             ppc
             ^ Format.asprintf " -I%s" share,
             ppk))