Update fetch_source script to avoid fetching when file is already in cache.