Use internal form of file name when dealing with the file system