Revert "Recompiled binaries"

This reverts commit 22ecf421f0400ca3a95bd74c6ed229539d12dd4d.
15 files changed