Shorten another filename.