fixed execute-files.sh alphabetical order not working

this should fix issue #857