diff --git a/src/plugins/gui/GSourceView2.ml.in b/src/plugins/gui/GSourceView2.ml.in
index 41bcdecc8ea07424f9f8e3e23d1cd0ab717e9578..e85f92d2c283618222d3b4c91082672abb7b3633 100644
--- a/src/plugins/gui/GSourceView2.ml.in
+++ b/src/plugins/gui/GSourceView2.ml.in
@@ -9,6 +9,7 @@ let make_marker_attributes
   ?(pixbuf:GdkPixbuf.pixbuf option)
   ?(icon_name:string option)
   () =
+  ignore icon_name; (* not in lablgtk2. *)
   source#set_mark_category_priority ~category priority;
   source#set_mark_category_pixbuf ~category pixbuf;
   source#set_mark_category_background ~category background
diff --git a/src/plugins/gui/gtk_helper.ml b/src/plugins/gui/gtk_helper.ml
index a2125f34f9829c33cf8d44b2ba539df6138c0b31..bbc2ab55ba43512f32214b91c1e11cd3093bca41 100644
--- a/src/plugins/gui/gtk_helper.ml
+++ b/src/plugins/gui/gtk_helper.ml
@@ -976,10 +976,10 @@ let select_file ?title ?(dir=default_dir) ?(filename="") () =
     GWindow.file_chooser_dialog
       ~action:`OPEN
       ?title
-      ~filename
       ~modal:true
       ()
   in
+  ignore (dialog#set_filename filename);
   let result = ref None in
   let action r =
     (match r with