Now that GitHub has brought back support for downloads, we do not need to include the binaries into the repo (bloats it up anyway).