Update check_file()
avoid repeat URL downloads
#5526
Merged
check_file()
avoid repeat URL downloads
#5526