Bash script – loop over inline list of files