No se puede programar el FPGA de Xilinx con el proyecto MicroBlaze en el SDK - falta el archivo download.bit

Tengo un proyecto FPGA de Xilinx que armé en Vivado 2014.4 (64 bits en Linux). El proyecto utiliza un MicroBlaze. He escrito mi firmware MicroBlaze en Xilinx SDK 2015.1. Mi hardware de destino es el Digilent Nexys4DDR con un Xilinx Artix-7.

He pasado por el proceso de exportar el diseño de mi hardware (incluido el flujo de bits) desde Vivado. Se importó correctamente en el SDK cuando creé mi nuevo proyecto de firmware. El paquete de soporte de la Junta también parece haber sido creado correctamente. Todas las advertencias y errores se resuelven.

Cuando voy a Herramientas Xilinx - > Programa FPGA, me sale este diálogo:

Heverificadoquelosarchivosenumeradosaquíexisten.RangeCompensator.bityRangeCompensator.mmiestánenelproyectodeespecificacióndelaplataformadehardware,yelarchivorange_compensator.elfestáenlacarpeta"Binaries" del proyecto de firmware.

Cuando hago clic en "Programa", aparece este error:

Según esta publicación en los foros de Xilinx , no debería tener que preocuparme por el archivo download.bit si todos los campos del cuadro de diálogo FPGA del programa están llenos, pero download.bit no parece estar generándose.

¿Cómo puedo resolver el error durante la programación?