renamed files with slightly shorter names