Tambien puedes hacerlo de otra forma mas facil, con el STB5518 le cargas el all32 o el que quieras y despues en el menu del receptor le haces un reset de fabrica y tambien funcionaria OK y es mas facil. Yo lo hice asi y con all32 y funciona perfecto.