hmmm…I see those SSL failures when pulling binaries. Gah. It is not clear to me that we should release, but I will this channel considers it the best option