Do not store the binary files in the repository: use the files already available on GitHub