use setlocale() in preference to gtk_set_locale()