The files were converted with ihx2bin to make them directly usable to download as mining firmware to the ztex board.