Fix extract-files.sh