Thanks for finding it out.

Perhaps we could copy grubx64.efi to BOOT/BOOTX64.efi when grub is 
installed.