$(package)_download_file
No need to specify `$(package)_download_file` when it is equal to `$(package)_file_name`.