Option menu crash in the last git version

Hi,

I'm using the last GIT version of Pgadmin (great job from the dev team !).
Version : REL-1_13_DEV-117-g5af8973

I can't go anymore in the option menu (fichier -> préférence in my 
french version).
Here is the output of the crash :

(pgadmin3:22539): GLib-GObject-WARNING **: invalid cast from 
`GtkFileChooserButton' to `GtkBin'

(pgadmin3:22539): Gtk-CRITICAL **: gtk_widget_modify_style: assertion 
`GTK_IS_WIDGET (widget)' failed
...
(pgadmin3:22539): GLib-GObject-WARNING **: invalid cast from 
`GtkFileChooserButton' to `GtkBin'

(pgadmin3:22539): Gtk-CRITICAL **: gtk_widget_modify_style: assertion 
`GTK_IS_WIDGET (widget)' failed
Erreur de segmentation

regards

philippe