introduce mr_set_download_{url,file}