Fix an arg mismatch: extract_file() does not take a verbose arg.

Audit: john