Это и есть те же ссылки, что и в этой теме. Все ссылки Интернета сюда ведут. Я отсюда и скачивал. Архив распаковывается прогой 7-zip нормально, а сам exe-файл не запускается.