Converting to short filenames