diff --git a/installer/ogboot_installer.sh b/installer/ogboot_installer.sh
index 8040010..31acb16 100644
--- a/installer/ogboot_installer.sh
+++ b/installer/ogboot_installer.sh
@@ -85,7 +85,7 @@ mount_NFS() {
 
     sudo cp bin/undionly.kpxe /opt/opengnsys/tftpboot
 
-    if sudo make bin-i386-pcbios/ipxe.efi EMBED=/opt/opengnsys/tftpboot/ipxe_scripts/dhcp_boot.ipxe; then
+    if sudo make bin-x86_64-efi/ipxe.efi EMBED=/opt/opengnsys/tftpboot/ipxe_scripts/dhcp_boot.ipxe; then
         echo "Fichero EFI construido correctamente."
     else
         echo "Error: No se pudo construir el fichero EFI."