A download file.