fix error in history, and remove executables from repo, again