Renaming files, changing file names in execute.sh