let utf8_of_filename ?(full=false) f =
  Glib.Convert.filename_to_utf8 (if full then f else Filename.basename f)