Hi Guix! I'm trying to install guix to a new drive using my main machine which boots using grub-bootloader (legacy bios). I want to put grub-efi-bootloader (EFI) on the new drive install (for use on another computer). However, the install fails when running grub-install. The full output at the end is: copying to '/mnt/jake'... populating '/mnt/jake'... guix system: error: '/gnu/store/w8v5d1i6xfqlpj78w89jg1x7f8dchh4k-grub-efi-2.06/sbin/grub-install --boot-directory /mnt/jake/boot --bootloader-id=Guix --efi-directory /boot/efi' exited with status 1; output follows: /gnu/store/w8v5d1i6xfqlpj78w89jg1x7f8dchh4k-grub-efi-2.06/sbin/grub-install: error: /gnu/store/w8v5d1i6xfqlpj78w89jg1x7f8dchh4k-grub-efi-2.06/lib/grub/i386-pc/modinfo.sh doesn't exist. Please specify --target or --directory. I'm not sure if the fact that I'm currently booted in legacy bios mode is important, but the problem persists after a guix pull && guix system reconfigure, and I doubt grub-efi is broken for everyone. Thanks, zacchae