Have readdir return the same format of filenames on ios than on android