Use curl, with the correct settings to avoid re-fetching files.