md5 and sha checksums match with this bitcointalk forum, I downloaded and checked.
the ETH-ready program with .but files is loaded into github
but it is better to download from this official thread!