Revert "binaries to make github happy"

This reverts commit 9aaa5bd5fc9356e92db85606980990c823b715d0.
Revert "Revert "binaries to make github happy""

This reverts commit 9aa38a3298de886f7fd043ae710b0a232db06973.
Revert "Revert "Revert "binaries to make github happy"""

This reverts commit 2a00665d74ddaede9b16e7dd5939d0d6770fbde3.