Hi Ren,The binaries were checked into the core repository, but we found that too taxing on the coding/build side. Then these were quickly outdated and at some point we had to ask the question: who is going to maintain them? No maintainer was found, so we removed them instead of going though the process of writing a "download and integrate" script for the latest binaries that could have been the way to keep the binaries alive and up to date.Cheers,Franco