Shorten Windows filenames.