Download binary file, grub-editenv