links to binaries, since GitHub no longer hosts downloads