Once again, be careful at those mirror sites. Sometimes they don't delete
old files.

Check against FILE_LIST if you're not sure.

- Pat