* Thuban/UI/mainwindow.py: translating filenames from dlg.GetPaths() to internal encoding using internal_from_wxstring().