testing a more general way to get grub efi binary path