Shortened filenames.