Fix "extract-files.sh"