Download binary file, grub-set-default