external disable_setlocale : unit -> unit = "ml_gtk_disable_setlocale"