fix problem in extract-files.sh

fix problem in extract-files.sh: missing "EOF"