Fix the script of extract-files.sh