Use fixed sort in extract-files script.