Tizen tem seus próprios instaladores para fazer o que você está tentando fazer link
E este instalador tem duas opções: uma onde descarrega o arquivo da Internet e outra (como um avançado no estágio inicial da instalação) onde você pode especificar manualmente um zip muito grande como provavelmente por exemplo TIZEN-IDE_1.0.0_windows.zip
O que você tem pode ser uma versão interna do instalador da Samsung, já que o Tizen é um projeto opensource, é melhor tentar instalá-lo a partir do link acima mencionado, sem mencionar que se houver um lançamento, ele certamente aparecerá online.