Repository history is rewritten

Unused binaries purged from history to make `git clone` easier
for devs with low bandwith network access