shortened some filenames