diff --git a/src/plugins/gui/gtk_helper.ml b/src/plugins/gui/gtk_helper.ml
index 9253046cb295846e25da7e910bda4095d3ccd40c..a3b75c3b14278c6dd6716074e7875c2f0885daf7 100644
--- a/src/plugins/gui/gtk_helper.ml
+++ b/src/plugins/gui/gtk_helper.ml
@@ -47,7 +47,7 @@ let framac_logo, framac_icon =
 module Configuration = struct
   include Cilconfig
   let configuration_file () =
-    Gui_parameters.Config.get_file "frama-c-gui.config"
+    Gui_parameters.Config.get_file ~mode:`Create_path "frama-c-gui.config"
   let load () = loadConfiguration (configuration_file ())
   let save () = saveConfiguration (configuration_file ())
   let reset () = Extlib.safe_remove (configuration_file () :> string);
diff --git a/src/plugins/wp/ProverWhy3.ml b/src/plugins/wp/ProverWhy3.ml
index 2b31bf272f2bded093f4c811297210f43fc01cdb..299e199eefd4857fd3f8d4f793da7b06d49b10c9 100644
--- a/src/plugins/wp/ProverWhy3.ml
+++ b/src/plugins/wp/ProverWhy3.ml
@@ -51,7 +51,7 @@ let get_why3_env = Env.memoize
       let main = Why3.Whyconf.get_main config in
       let ld =
         (WpContext.directory ())::
-        ((Wp_parameters.Share.get_file "why3") :> string)::
+        ((Wp_parameters.Share.get_dir ~mode:`Must_exist "why3") :> string)::
         (Why3.Whyconf.loadpath main) in
       Why3.Env.create_env ld
     end
diff --git a/src/plugins/wp/driver.mll b/src/plugins/wp/driver.mll
index 1a13f28d9e6b5f17eb2ebc38f3ddfc6435aae216..06fc29c30ff8ddb988ac2bc9297ddab8563caa34 100644
--- a/src/plugins/wp/driver.mll
+++ b/src/plugins/wp/driver.mll
@@ -501,7 +501,7 @@ and bal = parse
         let descr = String.concat "," drvs in
         let includes =
           let directories =
-            [(Wp_parameters.Share.get_dir "." :> string)]
+            [(Wp_parameters.Share.get_dir ~mode:`Must_exist "." :> string)]
           in
           if Wp_parameters.has_dkey dkey then
             Wp_parameters.debug ~dkey "Included directories:%t"