Binary files in repository

[kettenis]

Hi Ivan,
It is probably better to remove the *.so files from the repository. Git doesn't really handle binary files very efficiently so if you keep committing new versions of those, the repository will grow in size unnecessarily.
You can remove them by doing:

$ git rm *.so
$ git commit
$ git push

You can tell git to ignore these files in future commits by creating a .gitignore file in the repository that contains:
*.so

I can create a pull request for you if that helps.

Thanks,
Mark