Yes this became known a few days ago. Need to get those binaries back!!!  Maybe monkins1010 can upload them somewhere 
Anyways, we do have a few choices of CPU mining software. CPU Miner download link:  https://aquacha.in/latest/?sort=time&order=desc

We need to get started on a new GPU Miner with a nice open source license.
Here is a good starting point if someone is interested in developing one (This is a CPU miner, GPLv3): https://github.com/aerth/aquaminer