There seem to be a few binaries in the Git history that force git to clone 100 MB. This should be cleaned up.