Adding shorten-filenames.sh