Now that GitHub has brought back support for downloads, we do not need to include the binaries into the repo.