fixed a bug that prevented the opening of a file due to the filename having a different "native" and utf8 representation