Fix run-file-tests.sh